:: Int -> CInt -package:github package:linear-base

Convert from an Int.